If <I> H </I> is a subgroup of a finite group <I>G</i> and |<I>H</i>| is a power of a prime <I>p</I>, then <I>H</i> is contained in some Sylow <I>p</I>-subgroup of <I>G</i>.